- функциональное исчисление
- functional calculus
Russian-english psychology dictionary. 2013.
функциональное исчисление
Look at other dictionaries:
ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ — гомоморфизм нек рой алгебры функций Ав алгебру L(X)непрерывных линейных операторов в топологич. векторном пространстве X. Ф. и. один из основных инструментов общего спектрального анализа и теории банаховых алгебр, к рый позволяет использовать в… … Математическая энциклопедия
МИНИМАЛЬНОЕ ФУНКЦИОНАЛЬНОЕ ИСЧИСЛЕНИЕ, — минимальное исчисление предикатов, исчисление предикатов, задаваемое всеми схемами аксиом минимального пропозиционального исчисления и обычными кванторными схемами аксиом и правилами вывода, т. е. (t произвольный терм), модус поненс и (переменная … Математическая энциклопедия
Функциональное программирование — Парадигмы программирования Агентно ориентированная Компонентно ориентированная Конкатенативная Декларативная (контрастирует с Императивной) Ограничениями Функциональная Потоком данных Таблично ориентированная (электронные таблицы) Реактивная … Википедия
Лямбда-исчисление — (λ исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их основная… … Википедия
Λ-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Ламбда-исчисление — Лямбда исчисление (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков… … Википедия
Лямбда исчисление — (λ исчисление, лямбда исчисление) формальная система, разработанная американским математиком Алонзо Чёрчем, для формализации и анализа понятия вычислимости. λ исчисление может рассматриваться как семейство прототипных языков программирования. Их… … Википедия
СЖАТИЕ — с ж и м а ю щ и й о п е р а т о р, ограниченное линейное отображение Тгильбертова пространства H в гильбертово пространство H с . При H=H сжатие Тназ. вполне неунитарным, если оно не является унитарным оператором ни при каком: отличном от {0}… … Математическая энциклопедия
СПЕКТР — оператора совокупность чисел для к рых оператор не имеет всюду определенного ограниченного обратного. Здесь А линейный оператор в комплексном банаховом пространстве Х, I тождественный оператор в X. Если Ане замкнут в X, то поэтому обычно… … Математическая энциклопедия
Рекурсивная функция (теория вычислимости) — У этого термина существуют и другие значения, см. Рекурсивная функция (значения). Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций примитивно рекурсивные функции; общерекурсивные функции; … Википедия
ФУНКЦИЯ — (лат. functio – исполнение) обязанность, круг деятельности. «Функция – это существование, мыслимое нами в действии» (Гёте). Наука о функциях органов живых существ – физиология; специальная наука о функциях нервной системы – физиология органов… … Философская энциклопедия
